Protected Shared Variables in VHDL: IEEE Std 1076a
نویسندگان
چکیده
The VHDL Standard current allows concurrent access to variables shared between processes, but does not define any semantics for concurrency control. The IEEE 1076a Shared Variables Working Group has developed a form of monitors, called protected types, to provide mutually exclusive access to shared variables. This article identifies the problems that can arise from unprotected concurrent access to shared variables, and reviews the idea of monitors, which forms the basis of the proposed language change. It then describes protected types, gives some guidelines on using them for hardware modeling, and includes an example to illustrate their use.
منابع مشابه
Formal Definition of an Abstract Vhdl'93 Simulator by Eaamachines
We present a rigorous but transparent semantic deenition for VHDL corresponding to the IEEE VHDL'93 standard. Our deenition covers the full behavior of signal and variable assignments as well as the behavior of the various wait statements including delta, time, and postponed cycles. We consider explicitly declared signals, ports, local variables, and shared variables. Our speciication deenes an...
متن کاملFormalisation and Validation of the Std Logic 1164 and Numeric Std VHDL Packages using the NqthmTheorem
When synthesizing complex digital circuits, it is extremely important to have high conndence in the library of components and functions. This paper deals with the validation of two standardized VHDL packages that were developed for circuit synthesis and which, at the same time, are compatible with enhanced multi-valued simulation tools. The Boyer-Moore theorem prover has been used for this purp...
متن کاملCharacterizing a portable subset of behavioral VHDL-93
Goossens defined a structural operational semantics for a subset of VHDL-87 and proved that the parallelism present in VHDL is benign. We extend this work to include VHDL-93 features such as shared variables and postponed processes that change the underlying semantic model. In the presence of shared variables, non-deterministic execution of VHDL-93 processes destroys the unique meaning property...
متن کاملA Synthesizable Low Power VHDL Model of the Exact Solution of Three Dimensional Hyperbolic Positioning System
This paper presents a synthesizable low power VHDL model of a three-dimensional hyperbolic positioning system algorithm. The algorithm derives the equations needed to obtain an exact solution for the three dimensional location of a mobile given the locations of four fixed stations (like a GPS satellite or a base station in a cell) and the signal time of arrival (TOA) from the mobile to each sta...
متن کاملStructural Operational Semantics for a Portable Subset of Behavioral VHDL-93
Goossens defined structural operational semantics for a subset of VHDL-87 and proved that the parallelism present in VHDL is benign. We extend this work to include VHDL-93 features such as shared variables and postponed processes that change the underlying semantic model. In the presence of shared variables, nondeterministic execution of VHDL-93 processes destroys the unique meaning property. W...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1998